Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Continue readingThis book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and ...
Continue readingIn the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat ...
Continue readingThis book is a follow-up of LNCS volume 2929 with the same title, and presents the major results of COST action 274 (2002-2005), ...
Continue reading